A Default-Logic Framework for Legal Reasoning in Multiagent Systems
نویسنده
چکیده
Using law and evidence to achieve fair and accurate decisions in numerous legal cases requires a complex multiagent system. This paper discusses a framework based on many-valued, predicate, default logic that successfully captures legal knowledge, integrates and evaluates expert and non-expert evidence, coordinates agents working on different legal problems, and evolves the knowledge model over time. The graphical syntax and the semantics of this framework allow the automation of key tasks, and the emergence of dynamic structures for integrating human and non-human agents. The logical basis of the framework ensures its applicability to knowledge and problem domains of similar complexity to
منابع مشابه
On the theory of argumentation frameworks
argumentation has been developed in a theoretical way, in noteworthy works such as [Tou58], [Fel84], [Dun95], [KT96], [BDKT97], [KMD94], [Pol94], [Vre97], [PS96a], [PS97], and [Ver96]. Argumentation-theoretic interpretations and proof-procedures are applicable in practical reasoning, legal reasoning ([KT96], [PS95]), mediation systems ([GK96], [BG94]), decision-making systems ([KPG96]), and are...
متن کاملA Default-logic Paradigm for Legal Fact-finding
Unlike research in linguistics and artificial intelligence, legal research has not used advances in logical theory very effectively. This article uses default logic to develop a paradigm for analyzing the reasoning behind legal fact-finding. The article provides a formal model that integrates legal rules and policies with the evaluation of both expert and nonexpert evidence—whether the fact-fin...
متن کاملA Semantic View on Reasoning about Priorities (extended Abstract)
This paper gives a logical analysis in semantic terms of reasoning about preference relations. A method is proposed for extending logics for reasoning with prioritised information with means to express information about priorities as premises, and for deening the logical consequences of such premises. The method is rst presented in general terms and then applied to two existing systems, priorit...
متن کاملModeling Plausible Behaviour of Cognitive Agents
This paper describes a formal framework for the representation of agents that do not necessarily share common beliefs and goals. In this framework, that we consider to be a plausible model of cognitive agent behaviour in a multiagent system, the agents are able to reason based on assumptions while facing inconsistencies, manifest preferences over their beliefs, select and dynamically modify the...
متن کاملMeta Level Reasoning and Default Reasoning
In this paper, we propose a logic framework for meta level reasoning as well as default reasoning in a general sense, based on an arbitrary underlying logic. In this framework, meta level reasoning is the task of how to deduce new meta level rules by giving a set of rules, whilst default reasoning is the problem of what are the possible candidate beliefs by giving them. We define the semantics ...
متن کامل